منابع مشابه
Quantum spin model with frustration on the union jack lattice
Frustrated lattice spin models in two dimensions have attracted much discussion in recent years. They exhibit new and interesting phase structures and phase transitions; in particular, they may develop “spin-liquid” states, without longrange order.1 It is also believed that frustrating interactions may play a role in the high-temperature superconducting cuprate materials. Primary examples are t...
متن کاملTopological color codes on Union Jack lattices: a stable implementation of the whole Clifford group
Helmut G. Katzgraber,1,2 H. Bombin,3 Ruben S. Andrist,2 and M. A. Martin-Delgado4 1Department of Physics and Astronomy, Texas A&M University, College Station, Texas 77843-4242, USA 2Theoretische Physik, ETH Zurich, CH-8093 Zurich, Switzerland 3Perimeter Institute for Theoretical Physics, Waterloo, Ontario N2L 2Y5, Canada 4Departamento de Fı́sica Teórica I, Universidad Complutense, 28040 Madrid, ...
متن کاملAsymptotic incidence energy and Laplacian-energy-like invariant of the Union Jack lattice
The incidence energy I E (G) of a graph G, defined as the sum of the singular values of the incidence matrix of a graph G, is a much studied quantity with well known applications in chemical physics. The Laplacian-energy-like invariant of G is defined as the sum of square roots of the Laplacian eigenvalues. In this paper, we obtain the closed-form formulae expressing the incidence energy and th...
متن کاملFrom Jack Polynomials to Minimal Model Spectra
In this note, a deep connection between free field realisations of conformal field theories and symmetric polynomials is presented. We give a brief introduction into the necessary prerequisites of both free field realisations and symmetric polynomials, in particular Jack symmetric polynomials. Then we combine these two fields to classify the irreducible representations of the minimal model vert...
متن کاملModel Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branching time model-checking approach to the automatic verification of formal correctness of UML Statechart Diagrams specifications. We use a formal operational semantics for building a labeled transition system (automaton) w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2006
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/42/1/008